home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Shareware Grab Bag
/
Shareware Grab Bag.iso
/
007
/
examples.arc
/
EXAMPL15.PRO
< prev
next >
Wrap
Text File
|
1986-10-07
|
352b
|
21 lines
/* Program 15 */
/*
Goals to enter are on page 57 of the manual.
*/
domains
name = symbol
predicates
father(name,name)
everybody
clauses
father(leonard,katherine).
father(carl,jason).
father(carl,marilyn).
everybody if
father(X,Y),
write(X," is ",Y,"'s father\n") and
fail.